Runtime monitoring of timing constraints in distributed real-time systems

Embedded real-time systems often operate under strict timing and dependability constraints. To ensure responsiveness, these systems must be able to provide the expected services in a timely manner even in the presence of faults. In this paper, we describe a run-time environment for monitoring of timing constraints in distributed real-time systems. In particular, we focus on the problem of detecting violations of timing assertions in an environment in which the real-time tasks run on multiple processors, and timing constraints can be either inter-processor or intra-processor constraints. Constraint violations are detected at the earliest possible time by deriving and checking intermediate constraints from the user-specified constraints. If the violations must be detected as early as possible, then the problem of minimizing the number of messages to be exchanged between the processors becomes intractable. We characterize a sub-class of timing constraints that occur commonly in distributed real-time systems and whose message requirements can be minimized. We also take into account the drift among the various processor clocks when detecting a violation of a timing assertion. Finally, we describe a prototype implementation of a distributed run-time monitor.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/48087/1/11241_2005_Article_BF01088521.pd

A qualitative study of primary health care access, barriers and satisfaction among people with mental illness

Research has found that a substantial proportion of individuals with mental illness have high morbidity and mortality rates, and high under-diagnosis of major physical illnesses. Furthermore, people with a mental illness tend not to seek out or utilise health care services. The reasons for the negative attitudes and behaviour towards health care services among this population have not been investigated. This paper presents findings from a study that investigated the health care service needs of people with mental illness (n = 20), and views from health care providers (n = 16) regarding access to these services by people with a mental illness. Results indicated that psychiatric patients identified a range of barriers to their health care usage and low levels of health care satisfaction. These views were shared with health care professionals. Reasons for these findings and strategies to address these problems so that there is better access to health care services for people with mental illness are discussed. <br /

The Basic Polynomial Algebra Subprograms

International audienceThe Basic Polynomial Algebra Subprograms (BPAS) provides arithmetic operations (multiplication, division, root isolation, etc.) for univariate and multivariate polynomials over common types of coefficients (prime fields, complex rational numbers, rational functions, etc.). The code is mainly written in CilkPlus [10] targeting multicore processors. The current distribution focuses on dense polynomials and the sparse case is work in progress. A strong emphasis is put on adaptive algorithms as the library aims at supporting a wide variety of situations in terms of problem sizes and available computing resources. The BPAS library is publicly available in source at www.bpaslib.org

iPSCORE: A Resource of 222 iPSC Lines Enabling Functional Characterization of Genetic Variation across a Variety of Cell Types.

Large-scale collections of induced pluripotent stem cells (iPSCs) could serve as powerful model systems for examining how genetic variation affects biology and disease. Here we describe the iPSCORE resource: a collection of systematically derived and characterized iPSC lines from 222 ethnically diverse individuals that allows for both familial and association-based genetic studies. iPSCORE lines are pluripotent with high genomic integrity (no or low numbers of somatic copy-number variants) as determined using high-throughput RNA-sequencing and genotyping arrays, respectively. Using iPSCs from a family of individuals, we show that iPSC-derived cardiomyocytes demonstrate gene expression patterns that cluster by genetic background, and can be used to examine variants associated with physiological and disease phenotypes. The iPSCORE collection contains representative individuals for risk and non-risk alleles for&nbsp;95% of SNPs associated with human phenotypes through genome-wide association studies. Our study demonstrates the utility of iPSCORE for examining how genetic variants influence molecular and physiological traits in iPSCs and derived cell lines

Preparation and thermal properties of mineral-supported polyethylene glycol as form-stable composite phase change materials (CPCMs) used in asphalt pavements

Tis work was supported by the National Natural Science Foundation of China (51704040, 51778071, 51608058), the Scientifc Research Project of Hunan Provincial Department of Education for Excellent Young Scholars (16B007), Open Fund of Key Laboratory of Special Environment Road Engineering of Hunan Province (Changsha University of Science & Technology, kf160501), and Open Fund of Key Laboratory of Biohydrometallurgy, Ministry of Education (Central South University, MOEKLB1708)

Public health utility of cause of death data : applying empirical algorithms to improve data quality

Background: Accurate, comprehensive, cause-specific mortality estimates are crucial for informing public health decision making worldwide. Incorrectly or vaguely assigned deaths, defined as garbage-coded deaths, mask the true cause distribution. The Global Burden of Disease (GBD) study has developed methods to create comparable, timely, cause-specific mortality estimates; an impactful data processing method is the reallocation of garbage-coded deaths to a plausible underlying cause of death. We identify the pattern of garbage-coded deaths in the world and present the methods used to determine their redistribution to generate more plausible cause of death assignments. Methods: We describe the methods developed for the GBD 2019 study and subsequent iterations to redistribute garbage-coded deaths in vital registration data to plausible underlying causes. These methods include analysis of multiple cause data, negative correlation, impairment, and proportional redistribution. We classify garbage codes into classes according to the level of specificity of the reported cause of death (CoD) and capture trends in the global pattern of proportion of garbage-coded deaths, disaggregated by these classes, and the relationship between this proportion and the Socio-Demographic Index. We examine the relative importance of the top four garbage codes by age and sex and demonstrate the impact of redistribution on the annual GBD CoD rankings. Results: The proportion of least-specific (class 1 and 2) garbage-coded deaths ranged from 3.7% of all vital registration deaths to 67.3% in 2015, and the age-standardized proportion had an overall negative association with the Socio Demographic Index. When broken down by age and sex, the category for unspecified lower respiratory infections was responsible for nearly 30% of garbage-coded deaths in those under 1 year of age for both sexes, representing the largest proportion of garbage codes for that age group. We show how the cause distribution by number of deaths changes before and after redistribution for four countries: Brazil, the United States, Japan, and France, highlighting the necessity of accounting for garbage-coded deaths in the GBD

The burden of unintentional drowning : global, regional and national estimates of mortality from the Global Burden of Disease 2017 Study

Background Drowning is a leading cause of injury-related mortality globally. Unintentional drowning (International Classification of Diseases (ICD) 10 codes W65-74 and ICD9 E910) is one of the 30 mutually exclusive and collectively exhaustive causes of injury-related mortality in the Global Burden of Disease (GBD) study. This study's objective is to describe unintentional drowning using GBD estimates from 1990 to 2017. Methods Unintentional drowning from GBD 2017 was estimated for cause-specific mortality and years of life lost (YLLs), age, sex, country, region, Socio-demographic Index (SDI) quintile, and trends from 1990 to 2017. GBD 2017 used standard GBD methods for estimating mortality from drowning. Results Globally, unintentional drowning mortality decreased by 44.5% between 1990 and 2017, from 531 956 (uncertainty interval (UI): 484 107 to 572 854) to 295 210 (284 493 to 306 187) deaths. Global age-standardised mortality rates decreased 57.4%, from 9.3 (8.5 to 10.0) in 1990 to 4.0 (3.8 to 4.1) per 100 000 per annum in 2017. Unintentional drowning-associated mortality was generally higher in children, males and in low-SDI to middle-SDI countries. China, India, Pakistan and Bangladesh accounted for 51.2% of all drowning deaths in 2017. Oceania was the region with the highest rate of age-standardised YLLs in 2017, with 45 434 (40 850 to 50 539) YLLs per 100 000 across both sexes. Conclusions There has been a decline in global drowning rates. This study shows that the decline was not consistent across countries. The results reinforce the need for continued and improved policy, prevention and research efforts, with a focus on low- and middle-income countries.Peer reviewe

The global, regional, and national burden of stomach cancer in 195 countries, 1990-2017 : a systematic analysis for the Global Burden of Disease study 2017

Background: Stomach cancer is a major health problem in many countries. Understanding the current burden of stomach cancer and the differential trends across various locations is essential for formulating effective preventive strategies. We report on the incidence, mortality, and disability-adjusted life-years (DALYs) due to stomach cancer in 195 countries and territories from 21 regions between 1990 and 2017. Methods: Estimates from GBD 2017 were used to analyse the incidence, mortality, and DALYs due to stomach cancer at the global, regional, and national levels. The rates were standardised to the GBD world population and reported per 100 000 population as age-standardised incidence rates, age-standardised death rates, and age-standardised DALY rates. All estimates were generated with 95% uncertainty intervals (UIs). Findings: In 2017, more than 1·22 million (95% UI 1·19–1·25) incident cases of stomach cancer occurred worldwide, and nearly 865 000 people (848 000–885 000) died of stomach cancer, contributing to 19·1 million (18·7–19·6) DALYs. The highest age-standardised incidence rates in 2017 were seen in the high-income Asia Pacific (29·5, 28·2–31·0 per 100 000 population) and east Asia (28·6, 27·3–30·0 per 100 000 population) regions, with nearly half of the global incident cases occurring in China. Compared with 1990, in 2017 more than 356 000 more incident cases of stomach cancer were estimated, leading to nearly 96 000 more deaths. Despite the increase in absolute numbers, the worldwide age-standardised rates of stomach cancer (incidence, deaths, and DALYs) have declined since 1990. The drop in the disease burden was associated with improved Socio-demographic Index. Globally, 38·2% (21·1–57·8) of the age-standardised DALYs were attributable to high-sodium diet in both sexes combined, and 24·5% (20·0–28·9) of the age-standardised DALYs were attributable to smoking in males. Interpretation: Our findings provide insight into the changing burden of stomach cancer, which is useful in planning local strategies and monitoring their progress. To this end, specific local strategies should be tailored to each country's risk factor profile. Beyond the current decline in age-standardised incidence and death rates, a decrease in the absolute number of cases and deaths will be possible if the burden in east Asia, where currently almost half of the incident cases and deaths occur, is further reduced. Funding: Bill & Melinda Gates Foundation

The burden of unintentional drowning: Global, regional and national estimates of mortality from the Global Burden of Disease 2017 Study

__Background:__ Drowning is a leading cause of injury-related mortality globally. Unintentional drowning (International Classification of Diseases (ICD) 10 codes W65-74 and ICD9 E910) is one of the 30 mutually exclusive and collectively exhaustive causes of injury-related mortality in the Global Burden of Disease (GBD) study. This study's objective is to describe unintentional drowning using GBD estimates from 1990 to 2017. __Methods:__ Unintentional drowning from GBD 2017 was estimated for cause-specific mortality and years of life lost (YLLs), age, sex, country, region, Socio-demographic Index (SDI) quintile, and trends from 1990 to 2017. GBD 2017 used standard GBD methods for estimating mortality from drowning. __Results:__ Globally, unintentional drowning mortality decreased by 44.5% between 1990 and 2017, from 531 956 (uncertainty interval (UI): 484 107 to 572 854) to 295 210 (284 493 to 306 187) deaths. Global age-standardised mortality rates decreased 57.4%, from 9.3 (8.5 to 10.0) in 1990 to 4.0 (3.8 to 4.1) per 100 000 per annum in 2017. Unintentional drowning-associated mortality was generally higher in children, males and in low-SDI to middle-SDI countries. China, India, Pakistan and Bangladesh accounted for 51.2% of all drowning deaths in 2017. Oceania was the region with the highest rate of age-standardised YLLs in 2017, with 45 434 (40 850 to 50 539) YLLs per 100 000 across both sexes. __Conclusions:__ There has been a decline in global drowning rates. This study shows that the decline was not consistent across countries. The results reinforce the need for continued and improved policy, prevention and research efforts, with a focus on low-and middle-income countries

Estimating global injuries morbidity and mortality : methods and data used in the Global Burden of Disease 2017 study

Background: While there is a long history of measuring death and disability from injuries, modern research methods must account for the wide spectrum of disability that can occur in an injury, and must provide estimates with sufficient demographic, geographical and temporal detail to be useful for policy makers. The Global Burden of Disease (GBD) 2017 study used methods to provide highly detailed estimates of global injury burden that meet these criteria. Methods: In this study, we report and discuss the methods used in GBD 2017 for injury morbidity and mortality burden estimation. In summary, these methods included estimating cause-specific mortality for every cause of injury, and then estimating incidence for every cause of injury. Non-fatal disability for each cause is then calculated based on the probabilities of suffering from different types of bodily injury experienced. Results: GBD 2017 produced morbidity and mortality estimates for 38 causes of injury. Estimates were produced in terms of incidence, prevalence, years lived with disability, cause-specific mortality, years of life lost and disability-adjusted life-years for a 28-year period for 22 age groups, 195 countries and both sexes. Conclusions: GBD 2017 demonstrated a complex and sophisticated series of analytical steps using the largest known database of morbidity and mortality data on injuries. GBD 2017 results should be used to help inform injury prevention policy making and resource allocation. We also identify important avenues for improving injury burden estimation in the future